CONFIG_RISCV := y
CONFIG_RISCV_64 := y

CONFIG_XEN_INSTALL_SUFFIX :=
